TruncatedPolyhedron
TruncatedPolyhedron[poly] gives the truncated polyhedron of poly by truncating all vertices.
TruncatedPolyhedron[poly,l] truncates the polyhedron poly by a length ratio l at its vertices.
Please visit the official Wolfram Language Reference for more details and examples on core symbols.